%verify "executed"
    jmp       common_returnFromMethod

